Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
51	Revised JanuaryMM74C922 • MM74C923 16-Key Encoder • 20-Key Encoder General Description The MM74C922 and MM74C923 CMOS key encoders provide all the necessary logic to fully encode an array of Add to Reading List Source URL: dgouarin.free.fr Language: English - Date: 1999-09-05 14:12:46 Digital electronics Electronic circuits Voltage regulation Linear regulator Schmitt trigger
52	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
53	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
54	Reading Your Textbook Linear Algebra with Applications, Otto Bretscher, 3rd Ed., Pearson Prentice Hall Linear Algebra, Math 52, Brown University, Spring 2006, Instructor Stange Reading mathematics is an active, not a pas Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:52:48 Mathematics Mathematical proofs Logical consequence Neuropsychology Logic Theorem Linear algebra Problem solving Equation solving
55	ESAIM: PROCEEDINGS, October 2007, Vol.20, 53-62 Mohammed-Najib Benbourhim, Patrick Chenin, Abdelhak Hassouni & Jean-Baptiste Hiriart-Urruty, Editors EXISTENCE OF NONTRIVIAL SOLUTIONS FOR QUASI-LINEAR RESONANT PROBLEMS Add to Reading List Source URL: www.esaim-proc.org Language: English Mathematical analysis Mathematics Operator theory Partial differential equations Complex analysis Riemann surfaces Constructible universe Differential forms on a Riemann surface Linear temporal logic
56	GVF NOTES/ ITAÏ BEN YAACOV, E.H. Contents 1. Continuous logic 1.1. Ultraproducts 1.2. Formulas Add to Reading List Source URL: math.huji.ac.il Language: English - Date: 2016-01-27 02:39:01 Algebra Mathematics Mathematical analysis Probability distributions Linear algebra Measure theory Symbol Ordinary differential equations Norm Limit of a function Valuation Relationships among probability distributions
57	FROM CLAUSEN TO CARLITZ: LOW-DIMENSIONAL SPIN GROUPS AND IDENTITIES AMONG CHARACTER SUMS NICHOLAS M. KATZ Dedicated to Pierre Deligne, with the utmost admiration Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2008-04-18 19:12:12 Mathematics Mathematical analysis Algebra Ordinary differential equations Algebraic topology Sheaf Kloosterman sum Hypergeometric function Cohomology Lie groups Linear temporal logic Differential forms on a Riemann surface
58	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: coccinelle.lip6.fr Language: English Temporal logic Logic in computer science Mathematical logic Logic Computation tree logic Mathematics Witness Linear temporal logic CTL*
59	Encoding Intonational Information in a Logical Grammar Chris Worth (Ohio State University) The discrepancy between syntactic structure and intonational structure is well known. This makes it particularly difficult to sim Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2011-10-17 16:59:48 Formal languages Logic Syntax Grammar Language Type theory Categorial grammar Formal grammar Linear logic
60	Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung 1 Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2008-03-14 21:10:26 Mathematical analysis Mathematics Theoretical physics Operator theory Differential geometry Functional analysis Hilbert space Tensor product of Hilbert spaces Poisson manifold Cartesian closed category Linear temporal logic